/* Initial beliefs */
aguarde.

/* Initial goal */

!check. 

/* Plans */

+!check : aguarde & not (ataque | defenda) <- aguardar ; !check.
+!check : ataque <- atacar ; !check.
+!check : defenda <- defender ; !check.
+ataque <- atacar ; !check.
+defenda <- defender; !check.
